Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
101	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
102	A Veried Compiler for Multithreaded PreScheme 1 William M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics PreScheme Scheme programming language Denotational semantics Operational semantics System programming language Compiler Programming language Software engineering Computing Programming language theory
103	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics
104	Faithfulness of the VLISP Operational Semantics William M. Farmer Joshua D. Guttman John D. Ramsdell Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Applied mathematics Denotational semantics Operational semantics Theoretical computer science Logic in computer science Programming language semantics
105	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
106	Operational semantics for agent communication languages R. M. van Eijk, F. S. de Boer, W. van der Hoek, J.-J. Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1999-04-29 04:57:06
107	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
108	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
109	The VLISP Image Builder Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Primitive data type Pointer Java class file Operational semantics Software engineering Data types Computing Theoretical computer science
110	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming

UPDATE